Task system

Results: 2615



#Item
321Logical truth / Binary operations / Boolean algebra / Tautology / Logical connective / If and only if / Entailment / Well-formed formula / Truth table / Logic / Propositional calculus / Philosophical logic

Propositional Logic Review John MacFarlane January 24, 2011 The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula. Semantics Defining truth in a model (and, derivativel

Add to Reading List

Source URL: johnmacfarlane.net

Language: English - Date: 2011-01-24 19:35:06
322Geodesy / Navigation / Geographic information system / Coordinate system / Geographic coordinate system / Measurement / Physical geography / Cartography / Indiana County /  Pennsylvania / WCCS

Proposal To Redesign the WCCS WLIA Task Force on Wisconsin Coordinate Systems December 10, 2004

Add to Reading List

Source URL: www.sco.wisc.edu

Language: English - Date: 2004-12-10 16:56:24
323System software / Scripting languages / Batch file / Windows Task Scheduler / At / Command-line interface / Double-click / Features new to Windows XP / Computing / Software / User interface techniques

Clear Systems Limited 181 Cubbington Road, Leamington Spa, CV32 7AU, UK. Tel: Fax: Technical Bulletin.

Add to Reading List

Source URL: www.clearsystems.co.uk

Language: English - Date: 2011-03-23 12:31:00
324Computer programming / SuperCollider / Task parallelism / Instruction-level parallelism / Graph drawing / Topological sorting / Data parallelism / Multi-core processor / Dependency graph / Computing / Graph theory / Parallel computing

SUPERNOVA - A SCALABLE PARALLEL AUDIO SYNTHESIS SERVER FOR SUPERCOLLIDER Tim Blechmann ABSTRACT SuperCollider [5] is a computer music system based on

Add to Reading List

Source URL: tim.klingt.org

Language: English - Date: 2015-04-26 07:06:20
325Macro / Source code / Scripting language / Macro recorder / Automated BuildStudio / Software / System software / Computing

Why use macros and Macro Express? A macro is a set of commands that can be played back at will to perform a given task. These tasks may be something as simple as inserting your name and address into a document or more co

Add to Reading List

Source URL: www.macros.com

Language: English - Date: 2013-04-01 17:49:05
326Limbic system / Cognitive neuroscience / Mental processes / Memory / Hippocampus / Hippocampal formation / Orbitofrontal cortex / Recall / Default network / Brain / Cognitive science / Cerebrum

D I FFERENTIAL LATERALIZATION O F HIPPOCAMPAL CONNECTIVIT Y R E FLECTS FEATURES OF RECENT C ON TEX T AND ONGOING DEM A N D S: A N EXAMINATION OF IMM EDI AT E P OST-TASK ACTIVITY James F. Hartzell1, Michael J. Tobia2, Nat

Add to Reading List

Source URL: www.behaviometrix.com

Language: English - Date: 2014-09-21 11:50:18
327X Window System / Software / Application programming interfaces / Freedesktop.org

Problematic Scenario • Bus schedule – Requires a task switch to use – Doesn’t afford continuous monitoring RTE NUM

Add to Reading List

Source URL: www.taramatthews.org

Language: English - Date: 2014-03-10 16:22:11
328Technology / Battelle Memorial Institute / Golden /  Colorado / National Renewable Energy Laboratory / United States Department of Energy National Laboratories / Energy conversion / Solar panel / Photovoltaic system / International Space Station / Spaceflight / Energy / Photovoltaics

International PV QA Task Force’s Proposed Comparative Rating System for PV Modules: Preprint

Add to Reading List

Source URL: www.nrel.gov

Language: English - Date: 2014-10-03 16:46:14
329Neuroimaging / Cognitive neuroscience / Cerebrum / Neuroanatomy / Cognitive science / Functional magnetic resonance imaging / Functional neuroimaging / Anterior cingulate cortex / Visual cortex / Neuroscience / Nervous system / Anatomy

Cerebral Cortex Advance Access published August 30, 2010 Cerebral Cortex doi:cercor/bhq151 A Neuronal Basis for Task-Negative Responses in the Human Brain Pan Lin1, Uri Hasson1,2, Jorge Jovicich1,2 and Simon Robi

Add to Reading List

Source URL: www.behaviometrix.com

Language: English - Date: 2010-08-30 12:09:21
330Natural language processing / Relevance feedback / Relevance / Vector space model / Tf*idf / Query expansion / Sentiment analysis / N-gram / Support vector machine / Information science / Information retrieval / Science

FDU at TREC 2007: opinion retrieval of Blog Track Qi Zhang, Bingqing Wang, Lide Wu, Xuanjing Huang Abstract This paper describes our participation in the opinion retrieval task at Blog Track 07. The system consisted of t

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2008-02-05 08:56:15
UPDATE